يناقش هذا المساق موضوعات متقدمة في الاتوماتا، اللغات والتراكيب والقواعد وتطبيقاتها. بعض الأوراق البحثية المنشورة في أدبيات نظرية الحسابات سوف يتم طرحها للنقاش من خلال عقد الندوات البحثية بمشاركة الطلبة.